T-monoids and 2-dimensional Category Theory
نویسندگان
چکیده
منابع مشابه
Representation Theory of Reductive Normal Algebraic Monoids
New results in the representation theory of “semisimple” algebraic monoids are obtained, based on Renner’s monoid version of Chevalley’s big cell. (The semisimple algebraic monoids have been classified by Renner.) The rational representations of such a monoid are the same thing as “polynomial” representations of the associated reductive group of units in the monoid, and this representation cate...
متن کاملOrder-adjoint monads and injective objects
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T is shown to be strictly monadic over the category of Kleisli monoids. If the Kleisli category of T moreover forms an order-enriched category,...
متن کاملCubical Sets and Trace Monoid Actions
This paper is devoted to connections between trace monoids and cubical sets. We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets. Adjoint functors between the categories of cubical sets and trace monoid actions are constructed. These functors carry independence preserving morphisms in th...
متن کاملAn Eilenberg Theorem for Arbitrary Languages
In algebraic language theory one investigates formal languages by relating them to finite algebras. The most important result along these lines is Eilenberg’s celebrated variety theorem [7]: varieties of languages (classes of regular finite-word languages closed under boolean operations, derivatives and preimages of monoid morphisms) correspond bijectively to pseudovarieties of monoids (classes...
متن کاملTowards 3-Dimensional Rewriting Theory
String rewriting systems have proved very useful to study monoids. In good cases, they give finite presentations of monoids, allowing computations on those and their manipulation by a computer. Even better, when the presentation is confluent and terminating, they provide one with a notion of canonical representative of the elements of the presented monoid. Polygraphs are a higher-dimensional ge...
متن کامل